Skip to content

Split integer overflow category in dashboard checks#1929

Merged
sim642 merged 4 commits into
masterfrom
checks-integer-overflow
Jan 23, 2026
Merged

Split integer overflow category in dashboard checks#1929
sim642 merged 4 commits into
masterfrom
checks-integer-overflow

Conversation

@sim642
Copy link
Copy Markdown
Member

@sim642 sim642 commented Jan 21, 2026

This should allow to better proceed with the dashboard experiments once Mopsa also implements the same kinds.
It's a bit repetitive code-wise because the taxonomy is still flat, but this may change later.

@sim642 sim642 added this to the v2.8.0 Clumsy Clurichaun milestone Jan 23, 2026
@sim642 sim642 merged commit 6178774 into master Jan 23, 2026
19 checks passed
@sim642 sim642 deleted the checks-integer-overflow branch January 23, 2026 18:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants